package hu.ngms.jpf.examples;

import java.util.Map;

import javax.annotation.Nonnull;

public class NonNullExample {

	@Nonnull
	private Map<String, String> map = null;

	public void doSomething(@Nonnull String s) {
		s = null;
		map = null;
	}

}
